Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
81	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-10-15 03:54:42 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
82	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
83	A Quantitative Study of Reductions in Algebraic Libraries Yue Li Gabriel Dos Reis Texas A&M University Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:03 Algebraic structures Ring theory Mathematical structures Mathematical logic Nonassociative algebra Monoid Axiom Rewriting Ring Abstract algebra Mathematics Algebra
84	Armenian Journal of Mathematics Volume 3, Number 3, 2010, 97–104 Boolean Centre of a C-algebra S. Kalesha Vali, P. Sundarayya* and U.M. Swamy*** * Department of Basic Sciences and Humanities, GITAM Institute of Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2011-05-04 02:43:06 Boolean algebra Mathematics Algebraic structures C*-algebra Lattice theory Congruence lattice problem Abstract algebra Algebraic logic Mathematical logic
85	Armenian Journal of Mathematics Volume 1, Number 3, 2008, 7–13 Interlaced, modular, distributive and boolean bilattices Yu. M. Movsisyan Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2011-04-18 18:23:01 Algebraic structures Lattice theory Algebraic logic Boolean algebra Distributive lattice Distributivity Lattice Modular lattice Quasigroup Abstract algebra Mathematics Algebra
86	Armenian Journal of Mathematics Volume 4, Number 1, 2012, 44–48 Fuzzification of Ideals and Filters in Γ-Semigroups A. Iampan Department of Mathematics, Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2012-06-04 04:17:39 Order theory Algebraic structures Semigroup theory Filter General topology Semigroup Ideal Entailment Fuzzy mathematics Abstract algebra Logic Mathematics
87	Armenian Journal of Mathematics Volume 4, Number 1, 2012, 1–24 Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors George Voutsadakis* Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2012-05-25 03:53:42 Structure Universal algebra Parity of a permutation Functor Orbifold Mathematics Group theory Model theory
88	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Thursday, August 13, 2009 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2010-01-06 14:55:19 Abstract algebra Functions and mappings Algebraic logic Elementary algebra Simultaneous equations Expression Function Boolean algebra Exponential function Mathematics Algebra Equations
89	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION integrated algebra Wednesday, August 17, 2011—8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2011-09-01 08:26:28 Abstract algebra Education in New York Regents Examinations Icosahedron Boolean algebra Quadratic function Cartesian coordinate system Mathematics Geometry Algebraic logic
90	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Tuesday, June 17, 2008 – 9:15 a.m. to 12:15 p.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2010-01-06 14:55:14 Education in New York Regents Examinations Exponential function Boolean algebra Abstract algebra Mathematical analysis Mathematics Algebraic logic

UPDATE